Laboratory for Foundations of Computer Science - PDFSEARCH.IO - Document Search Engine

Laboratory for Foundations of Computer Science
Results: 70

#	Item
51	Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:57:16 Functional languages Procedural programming languages Meaning Philosophical logic Type theory ML Programming language Semantics Soundness Logic Programming language theory Software engineering
52	Faith sector’s lasting commitment to disaster-affected communities Faith, in all its forms, constitutes a natural and important element in the lives of billions of people with over 84% of the world identifying with a r Add to Reading List Source URL: www.actalliance.org Language: English - Date: 2015-03-18 05:39:19 Disaster preparedness Development Humanitarian aid Disaster risk reduction Psychological resilience Disaster Laboratory for Foundations of Computer Science Faith Public safety Emergency management Management
53	Faith sector’s lasting commitment to disaster-affected communities Faith, in all its forms, constitutes a natural and important element in the lives of billions of people with over 84% of the world identifying with a r Add to Reading List Source URL: www.sgi.org Language: English - Date: 2015-04-17 00:06:32 Disaster preparedness Development Humanitarian aid Disaster risk reduction Psychological resilience Disaster Laboratory for Foundations of Computer Science Faith Public safety Emergency management Management
54	Measure, Randomness and Sublocales Alex Simpson Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, UK Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-01 11:19:14 Analysis Sigma-algebra Support Measure Model theory Σ-finite measure Independence Filter Lebesgue measure Measure theory Mathematics Probability theory
55	Towards Certification of Resource Consumption Alberto Momigliano and Lennart Beringer Laboratory for Foundations of Computer Science University of Edinburgh Work carried out in the EU-project ”Mobile Resource Guarantee Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-04-12 12:28:43 Data types Procedural programming languages Cross-platform software Functional languages Lisp programming language Java virtual machine Type system ALGOL 68 List Computing Software engineering Programming language theory
56	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines Alberto Momigliano Laboratory for the Foundations of Computer Science University of Edinburgh Joint work with Jeff Pola Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-08 05:08:56 Type theory Logic in computer science Reasoning Mathematical logic Epistemology Logic programming Prolog Logical framework Twelf Logic Mathematics Programming language theory
57	A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-05 13:08:28 Data types Functional languages Procedural programming languages Lisp programming language Functional programming List Cons ALGOL 68 Operational semantics Software engineering Computing Computer programming
58	A Practical Approach to Co-induction in Twelf Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh & DSI, University of Milan Funded in part by EU-project Mobius (IST[removed]) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-27 12:26:32 Mathematical logic Programming language theory Combinatory logic Lambda calculus Twelf Ordinal number Dependently typed programming Generalized algebraic data type Theoretical computer science Logic in computer science Type theory
59	Automatic Certification of Resource Consumption Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: see credits at the end of the talk Work carried out in the Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-04-12 12:26:21 Data types Lisp programming language Functional programming Logic in computer science Procedural programming languages List Cons Operational semantics Semantics Software engineering Computing Programming language theory
60	From Bytecode Logic to Certificate Generation for Grail Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh Joint work with D. Aspinall, L. Beringer, H-W. Loidl, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-26 09:57:10 Software engineering Computing Programming language semantics Operational semantics Functional programming Free variables and bound variables Logic programming Programming paradigms Theoretical computer science Logic in computer science

UPDATE